Variational Theorem